Nuprl Definition : Rtransform
11,40
postcript
pdf
Rtransform(
f
;
A
)
== if Rplus?(
A
) then R-plus(Rtransform(
f
;Rplus-left(
A
));Rtransform(
f
;Rplus-right(
A
))) else
f
(
A
) fi
(recursive)
latex
Definitions
Y
,
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
Rplus?(
x1
)
,
R-plus(
A
;
B
)
,
Rplus-left(
x1
)
,
Rplus-right(
x1
)
,
f
(
a
)
FDL editor aliases
Rtransform
origin
x.A(x)x.A(x)